﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace FatHibernation.Utilities.DesignByContract
{
    public class PostconditionException : Exception
    {

        public PostconditionException() :base("Postcondition not met!")
        {
            
        }

        public PostconditionException(string message)
            : base(message)
        {
        }


    }
}